Roots pump - German English Dictionary